Optimal. Leaf size=151 \[ -\frac{i (c+d x)}{4 f \left (a^2+i a^2 \cot (e+f x)\right )}+\frac{x (c+d x)}{4 a^2}+\frac{3 d}{16 f^2 \left (a^2+i a^2 \cot (e+f x)\right )}+\frac{3 i d x}{16 a^2 f}-\frac{d x^2}{8 a^2}-\frac{i (c+d x)}{4 f (a+i a \cot (e+f x))^2}+\frac{d}{16 f^2 (a+i a \cot (e+f x))^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.138132, antiderivative size = 151, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 3, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.143, Rules used = {3479, 8, 3730} \[ -\frac{i (c+d x)}{4 f \left (a^2+i a^2 \cot (e+f x)\right )}+\frac{x (c+d x)}{4 a^2}+\frac{3 d}{16 f^2 \left (a^2+i a^2 \cot (e+f x)\right )}+\frac{3 i d x}{16 a^2 f}-\frac{d x^2}{8 a^2}-\frac{i (c+d x)}{4 f (a+i a \cot (e+f x))^2}+\frac{d}{16 f^2 (a+i a \cot (e+f x))^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3479
Rule 8
Rule 3730
Rubi steps
\begin{align*} \int \frac{c+d x}{(a+i a \cot (e+f x))^2} \, dx &=\frac{x (c+d x)}{4 a^2}-\frac{i (c+d x)}{4 f (a+i a \cot (e+f x))^2}-\frac{i (c+d x)}{4 f \left (a^2+i a^2 \cot (e+f x)\right )}-d \int \left (\frac{x}{4 a^2}-\frac{i}{4 f (a+i a \cot (e+f x))^2}-\frac{i}{4 f \left (a^2+i a^2 \cot (e+f x)\right )}\right ) \, dx\\ &=-\frac{d x^2}{8 a^2}+\frac{x (c+d x)}{4 a^2}-\frac{i (c+d x)}{4 f (a+i a \cot (e+f x))^2}-\frac{i (c+d x)}{4 f \left (a^2+i a^2 \cot (e+f x)\right )}+\frac{(i d) \int \frac{1}{(a+i a \cot (e+f x))^2} \, dx}{4 f}+\frac{(i d) \int \frac{1}{a^2+i a^2 \cot (e+f x)} \, dx}{4 f}\\ &=-\frac{d x^2}{8 a^2}+\frac{x (c+d x)}{4 a^2}+\frac{d}{16 f^2 (a+i a \cot (e+f x))^2}-\frac{i (c+d x)}{4 f (a+i a \cot (e+f x))^2}+\frac{d}{8 f^2 \left (a^2+i a^2 \cot (e+f x)\right )}-\frac{i (c+d x)}{4 f \left (a^2+i a^2 \cot (e+f x)\right )}+\frac{(i d) \int 1 \, dx}{8 a^2 f}+\frac{(i d) \int \frac{1}{a+i a \cot (e+f x)} \, dx}{8 a f}\\ &=\frac{i d x}{8 a^2 f}-\frac{d x^2}{8 a^2}+\frac{x (c+d x)}{4 a^2}+\frac{d}{16 f^2 (a+i a \cot (e+f x))^2}-\frac{i (c+d x)}{4 f (a+i a \cot (e+f x))^2}+\frac{3 d}{16 f^2 \left (a^2+i a^2 \cot (e+f x)\right )}-\frac{i (c+d x)}{4 f \left (a^2+i a^2 \cot (e+f x)\right )}+\frac{(i d) \int 1 \, dx}{16 a^2 f}\\ &=\frac{3 i d x}{16 a^2 f}-\frac{d x^2}{8 a^2}+\frac{x (c+d x)}{4 a^2}+\frac{d}{16 f^2 (a+i a \cot (e+f x))^2}-\frac{i (c+d x)}{4 f (a+i a \cot (e+f x))^2}+\frac{3 d}{16 f^2 \left (a^2+i a^2 \cot (e+f x)\right )}-\frac{i (c+d x)}{4 f \left (a^2+i a^2 \cot (e+f x)\right )}\\ \end{align*}
Mathematica [A] time = 0.584243, size = 165, normalized size = 1.09 \[ \frac{8 i (2 c f+d (2 f x+i)) \cos (2 (e+f x))+(-4 i c f-4 i d f x+d) \cos (4 (e+f x))-16 c f \sin (2 (e+f x))+4 c f \sin (4 (e+f x))+16 c e f+16 c f^2 x-8 d e^2-8 i d \sin (2 (e+f x))-16 d f x \sin (2 (e+f x))+i d \sin (4 (e+f x))+4 d f x \sin (4 (e+f x))+8 d f^2 x^2}{64 a^2 f^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.138, size = 390, normalized size = 2.6 \begin{align*} -{\frac{1}{{a}^{2}f} \left ({\frac{2\,id}{f} \left ({\frac{ \left ( fx+e \right ) \left ( \sin \left ( fx+e \right ) \right ) ^{4}}{4}}+{\frac{\cos \left ( fx+e \right ) }{16} \left ( \left ( \sin \left ( fx+e \right ) \right ) ^{3}+{\frac{3\,\sin \left ( fx+e \right ) }{2}} \right ) }-{\frac{3\,fx}{32}}-{\frac{3\,e}{32}} \right ) }+{\frac{i}{2}}c \left ( \sin \left ( fx+e \right ) \right ) ^{4}-{\frac{{\frac{i}{2}}de \left ( \sin \left ( fx+e \right ) \right ) ^{4}}{f}}+2\,{\frac{d \left ( \left ( fx+e \right ) \left ( -1/2\,\cos \left ( fx+e \right ) \sin \left ( fx+e \right ) +1/2\,fx+e/2 \right ) -1/16\, \left ( fx+e \right ) ^{2}+1/16\, \left ( \sin \left ( fx+e \right ) \right ) ^{2}- \left ( fx+e \right ) \left ( -1/4\, \left ( \left ( \sin \left ( fx+e \right ) \right ) ^{3}+3/2\,\sin \left ( fx+e \right ) \right ) \cos \left ( fx+e \right ) +3/8\,fx+3/8\,e \right ) -1/16\, \left ( \sin \left ( fx+e \right ) \right ) ^{4} \right ) }{f}}+2\,c \left ( -1/4\,\sin \left ( fx+e \right ) \left ( \cos \left ( fx+e \right ) \right ) ^{3}+1/8\,\cos \left ( fx+e \right ) \sin \left ( fx+e \right ) +1/8\,fx+e/8 \right ) -2\,{\frac{de \left ( -1/4\,\sin \left ( fx+e \right ) \left ( \cos \left ( fx+e \right ) \right ) ^{3}+1/8\,\cos \left ( fx+e \right ) \sin \left ( fx+e \right ) +1/8\,fx+e/8 \right ) }{f}}-{\frac{d}{f} \left ( \left ( fx+e \right ) \left ( -{\frac{\cos \left ( fx+e \right ) \sin \left ( fx+e \right ) }{2}}+{\frac{fx}{2}}+{\frac{e}{2}} \right ) -{\frac{ \left ( fx+e \right ) ^{2}}{4}}+{\frac{ \left ( \sin \left ( fx+e \right ) \right ) ^{2}}{4}} \right ) }-c \left ( -{\frac{\cos \left ( fx+e \right ) \sin \left ( fx+e \right ) }{2}}+{\frac{fx}{2}}+{\frac{e}{2}} \right ) +{\frac{de}{f} \left ( -{\frac{\cos \left ( fx+e \right ) \sin \left ( fx+e \right ) }{2}}+{\frac{fx}{2}}+{\frac{e}{2}} \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: RuntimeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.58041, size = 194, normalized size = 1.28 \begin{align*} \frac{8 \, d f^{2} x^{2} + 16 \, c f^{2} x +{\left (-4 i \, d f x - 4 i \, c f + d\right )} e^{\left (4 i \, f x + 4 i \, e\right )} +{\left (16 i \, d f x + 16 i \, c f - 8 \, d\right )} e^{\left (2 i \, f x + 2 i \, e\right )}}{64 \, a^{2} f^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.580107, size = 214, normalized size = 1.42 \begin{align*} \begin{cases} \frac{\left (128 i a^{6} c f^{5} e^{2 i e} + 128 i a^{6} d f^{5} x e^{2 i e} - 64 a^{6} d f^{4} e^{2 i e}\right ) e^{2 i f x} + \left (- 32 i a^{6} c f^{5} e^{4 i e} - 32 i a^{6} d f^{5} x e^{4 i e} + 8 a^{6} d f^{4} e^{4 i e}\right ) e^{4 i f x}}{512 a^{8} f^{6}} & \text{for}\: 512 a^{8} f^{6} \neq 0 \\\frac{x^{2} \left (d e^{4 i e} - 2 d e^{2 i e}\right )}{8 a^{2}} + \frac{x \left (c e^{4 i e} - 2 c e^{2 i e}\right )}{4 a^{2}} & \text{otherwise} \end{cases} + \frac{c x}{4 a^{2}} + \frac{d x^{2}}{8 a^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.26983, size = 146, normalized size = 0.97 \begin{align*} \frac{8 \, d f^{2} x^{2} + 16 \, c f^{2} x - 4 i \, d f x e^{\left (4 i \, f x + 4 i \, e\right )} + 16 i \, d f x e^{\left (2 i \, f x + 2 i \, e\right )} - 4 i \, c f e^{\left (4 i \, f x + 4 i \, e\right )} + 16 i \, c f e^{\left (2 i \, f x + 2 i \, e\right )} + d e^{\left (4 i \, f x + 4 i \, e\right )} - 8 \, d e^{\left (2 i \, f x + 2 i \, e\right )}}{64 \, a^{2} f^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]